set_manager_server_current_process4xi}